:: (a -> IO b) -> DirTree a -> IO (DirTree b) -package:base package:fixed-vector

Effectful map over vector.
Analog of traverse from Traversable.
Monadic map over vector.